<?php
/**
 * @file
 * Disconnects from a MySQL database.
 *
 * Usage:
 *  - A page that wants to disconnect from a MySQL database should
 *    include/require this page once (and only once).
 *  - Use 'db_mysql_connect.php' to connect to a MySQL database.
 *
 * Parameter(s):
 *  - $db_mysql_connection : MySQL database connection.
 *
 * Global variable(s) set:
 *  - None.
 *
 * Global variable(s) unset:
 *  - $db_mysql_connection : MySQL database connection.
 *
 * Exception(s):
 *  - None.
 *
 * This file includes/requires:
 *  - None.
 */

// implementation ==============================================================
// disconnect from mysql database
if (false == mysql_close($db_mysql_connection)) {
  // failed to close database connection
  // do nothing
}
unset($db_mysql_connection);
?>
